| 1. | Find the formal specification of n - triples in the relevant section
（您也可以单击本文顶部或底部的 |
| 2. | Formal specification and modeling of intelligent traffic control signals
智能交通信号灯形式化建模 |
| 3. | Formal specification and verification of air - ticket reservation systems using pvs
的飞机订票系统的形式化描述与验证 |
| 4. | The static formal specification on such systems falls to many drawbacks
而这类系统采用静态的体系结构形式化描述存在着许多缺陷和不足。 |
| 5. | Information technology - z formal specification notation - syntax , type system and semantics
信息技术. z形式规范注释.语法类型系统和语义学 |
| 6. | 1 formal specification : clear information stated on working instruction or guideline documents
有效标准/规格档;资料记载在作业指导书或指引文件中 |
| 7. | The formal specification of architecture is on the assumption of static system interaction and configuration
体系结构的形式化描述大都基于系统的静态的交互和配置。 |
| 8. | In traditional sgml circles , the representation of document rules has been as dtds - and indeed the formal specification of the
在传统sgml派系中，文档规则的表示曾经是dtd - - |
| 9. | A formal specification of element names that indicates which elements are allowed in an xml document , and in what combinations
元素名的正式规范，指示xml文档中允许包含的元素以及如何组合。 |
| 10. | Oda . 10 : information processing - text and office systems - office document architecture and interchange format - part 10 : formal specifications
信息处理.文本和办公室系统.办公室文献体系结构 |
